/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                         */
/*  \   \        Copyright (c) 2003-2007 Xilinx, Inc.                 */
/*  /   /        All Right Reserved.                                  */
/* /---/   /\                                                         */
/* \   \  /  \                                                        */
/*  \___\/\___\                                                       */
/**********************************************************************/

#include "xsi.h"

struct XSI_INFO xsi_info;


int isim_run(int argc, char **argv)
{
    xsi_init_design(argc, argv);
    xsi_register_info(&xsi_info);

    work_m_00000000000866782574_2073120511_init();
    work_m_00000000002748227714_3978753181_init();
    work_m_00000000002545859743_0831292437_init();
    work_m_00000000002236269916_2819573605_init();
    work_m_00000000002565071560_0494843041_init();
    xilinxcorelib_ver_m_00000000002071564657_1286517048_init();
    work_m_00000000001166051718_3853803615_init();
    work_m_00000000000368686719_2466344155_init();
    work_m_00000000001129026641_2772510191_init();
    work_m_00000000003447202030_3214657292_init();
    work_m_00000000001157443694_3243515427_init();
    work_m_00000000001129026641_2482856314_init();
    work_m_00000000001605163165_2362729609_init();
    work_m_00000000002673012699_0886308060_init();
    xilinxcorelib_ver_m_00000000002071564657_3430864634_init();
    work_m_00000000003882840983_0296478963_init();
    work_m_00000000001397418609_3460160338_init();
    work_m_00000000001129026641_3689961810_init();
    work_m_00000000001129026641_2795948001_init();
    work_m_00000000004235616349_1411027795_init();
    work_m_00000000001196995891_1711025897_init();


    xsi_register_tops("work_m_00000000001196995891_1711025897");
    xsi_register_tops("work_m_00000000000866782574_2073120511");


    return xsi_run_simulation(argc, argv);

}
